Optimal. Leaf size=279 \[ \frac {(b c-a d)^{10} (a+b x)^{12}}{12 b^{11}}+\frac {10 d (b c-a d)^9 (a+b x)^{13}}{13 b^{11}}+\frac {45 d^2 (b c-a d)^8 (a+b x)^{14}}{14 b^{11}}+\frac {8 d^3 (b c-a d)^7 (a+b x)^{15}}{b^{11}}+\frac {105 d^4 (b c-a d)^6 (a+b x)^{16}}{8 b^{11}}+\frac {252 d^5 (b c-a d)^5 (a+b x)^{17}}{17 b^{11}}+\frac {35 d^6 (b c-a d)^4 (a+b x)^{18}}{3 b^{11}}+\frac {120 d^7 (b c-a d)^3 (a+b x)^{19}}{19 b^{11}}+\frac {9 d^8 (b c-a d)^2 (a+b x)^{20}}{4 b^{11}}+\frac {10 d^9 (b c-a d) (a+b x)^{21}}{21 b^{11}}+\frac {d^{10} (a+b x)^{22}}{22 b^{11}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.88, antiderivative size = 279, normalized size of antiderivative = 1.00, number of steps
used = 2, number of rules used = 1, integrand size = 15, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.067, Rules used = {45}
\begin {gather*} \frac {10 d^9 (a+b x)^{21} (b c-a d)}{21 b^{11}}+\frac {9 d^8 (a+b x)^{20} (b c-a d)^2}{4 b^{11}}+\frac {120 d^7 (a+b x)^{19} (b c-a d)^3}{19 b^{11}}+\frac {35 d^6 (a+b x)^{18} (b c-a d)^4}{3 b^{11}}+\frac {252 d^5 (a+b x)^{17} (b c-a d)^5}{17 b^{11}}+\frac {105 d^4 (a+b x)^{16} (b c-a d)^6}{8 b^{11}}+\frac {8 d^3 (a+b x)^{15} (b c-a d)^7}{b^{11}}+\frac {45 d^2 (a+b x)^{14} (b c-a d)^8}{14 b^{11}}+\frac {10 d (a+b x)^{13} (b c-a d)^9}{13 b^{11}}+\frac {(a+b x)^{12} (b c-a d)^{10}}{12 b^{11}}+\frac {d^{10} (a+b x)^{22}}{22 b^{11}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 45
Rubi steps
\begin {align*} \int (a+b x)^{11} (c+d x)^{10} \, dx &=\int \left (\frac {(b c-a d)^{10} (a+b x)^{11}}{b^{10}}+\frac {10 d (b c-a d)^9 (a+b x)^{12}}{b^{10}}+\frac {45 d^2 (b c-a d)^8 (a+b x)^{13}}{b^{10}}+\frac {120 d^3 (b c-a d)^7 (a+b x)^{14}}{b^{10}}+\frac {210 d^4 (b c-a d)^6 (a+b x)^{15}}{b^{10}}+\frac {252 d^5 (b c-a d)^5 (a+b x)^{16}}{b^{10}}+\frac {210 d^6 (b c-a d)^4 (a+b x)^{17}}{b^{10}}+\frac {120 d^7 (b c-a d)^3 (a+b x)^{18}}{b^{10}}+\frac {45 d^8 (b c-a d)^2 (a+b x)^{19}}{b^{10}}+\frac {10 d^9 (b c-a d) (a+b x)^{20}}{b^{10}}+\frac {d^{10} (a+b x)^{21}}{b^{10}}\right ) \, dx\\ &=\frac {(b c-a d)^{10} (a+b x)^{12}}{12 b^{11}}+\frac {10 d (b c-a d)^9 (a+b x)^{13}}{13 b^{11}}+\frac {45 d^2 (b c-a d)^8 (a+b x)^{14}}{14 b^{11}}+\frac {8 d^3 (b c-a d)^7 (a+b x)^{15}}{b^{11}}+\frac {105 d^4 (b c-a d)^6 (a+b x)^{16}}{8 b^{11}}+\frac {252 d^5 (b c-a d)^5 (a+b x)^{17}}{17 b^{11}}+\frac {35 d^6 (b c-a d)^4 (a+b x)^{18}}{3 b^{11}}+\frac {120 d^7 (b c-a d)^3 (a+b x)^{19}}{19 b^{11}}+\frac {9 d^8 (b c-a d)^2 (a+b x)^{20}}{4 b^{11}}+\frac {10 d^9 (b c-a d) (a+b x)^{21}}{21 b^{11}}+\frac {d^{10} (a+b x)^{22}}{22 b^{11}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [B] Leaf count is larger than twice the leaf count of optimal. \(1702\) vs. \(2(279)=558\).
time = 0.13, size = 1702, normalized size = 6.10 \begin {gather*} a^{11} c^{10} x+\frac {1}{2} a^{10} c^9 (11 b c+10 a d) x^2+\frac {5}{3} a^9 c^8 \left (11 b^2 c^2+22 a b c d+9 a^2 d^2\right ) x^3+\frac {5}{4} a^8 c^7 \left (33 b^3 c^3+110 a b^2 c^2 d+99 a^2 b c d^2+24 a^3 d^3\right ) x^4+3 a^7 c^6 \left (22 b^4 c^4+110 a b^3 c^3 d+165 a^2 b^2 c^2 d^2+88 a^3 b c d^3+14 a^4 d^4\right ) x^5+\frac {1}{2} a^6 c^5 \left (154 b^5 c^5+1100 a b^4 c^4 d+2475 a^2 b^3 c^3 d^2+2200 a^3 b^2 c^2 d^3+770 a^4 b c d^4+84 a^5 d^5\right ) x^6+\frac {6}{7} a^5 c^4 \left (77 b^6 c^6+770 a b^5 c^5 d+2475 a^2 b^4 c^4 d^2+3300 a^3 b^3 c^3 d^3+1925 a^4 b^2 c^2 d^4+462 a^5 b c d^5+35 a^6 d^6\right ) x^7+\frac {15}{4} a^4 c^3 \left (11 b^7 c^7+154 a b^6 c^6 d+693 a^2 b^5 c^5 d^2+1320 a^3 b^4 c^4 d^3+1155 a^4 b^3 c^3 d^4+462 a^5 b^2 c^2 d^5+77 a^6 b c d^6+4 a^7 d^7\right ) x^8+\frac {5}{3} a^3 c^2 \left (11 b^8 c^8+220 a b^7 c^7 d+1386 a^2 b^6 c^6 d^2+3696 a^3 b^5 c^5 d^3+4620 a^4 b^4 c^4 d^4+2772 a^5 b^3 c^3 d^5+770 a^6 b^2 c^2 d^6+88 a^7 b c d^7+3 a^8 d^8\right ) x^9+\frac {1}{2} a^2 c \left (11 b^9 c^9+330 a b^8 c^8 d+2970 a^2 b^7 c^7 d^2+11088 a^3 b^6 c^6 d^3+19404 a^4 b^5 c^5 d^4+16632 a^5 b^4 c^4 d^5+6930 a^6 b^3 c^3 d^6+1320 a^7 b^2 c^2 d^7+99 a^8 b c d^8+2 a^9 d^9\right ) x^{10}+\frac {1}{11} a \left (11 b^{10} c^{10}+550 a b^9 c^9 d+7425 a^2 b^8 c^8 d^2+39600 a^3 b^7 c^7 d^3+97020 a^4 b^6 c^6 d^4+116424 a^5 b^5 c^5 d^5+69300 a^6 b^4 c^4 d^6+19800 a^7 b^3 c^3 d^7+2475 a^8 b^2 c^2 d^8+110 a^9 b c d^9+a^{10} d^{10}\right ) x^{11}+\frac {1}{12} b \left (b^{10} c^{10}+110 a b^9 c^9 d+2475 a^2 b^8 c^8 d^2+19800 a^3 b^7 c^7 d^3+69300 a^4 b^6 c^6 d^4+116424 a^5 b^5 c^5 d^5+97020 a^6 b^4 c^4 d^6+39600 a^7 b^3 c^3 d^7+7425 a^8 b^2 c^2 d^8+550 a^9 b c d^9+11 a^{10} d^{10}\right ) x^{12}+\frac {5}{13} b^2 d \left (2 b^9 c^9+99 a b^8 c^8 d+1320 a^2 b^7 c^7 d^2+6930 a^3 b^6 c^6 d^3+16632 a^4 b^5 c^5 d^4+19404 a^5 b^4 c^4 d^5+11088 a^6 b^3 c^3 d^6+2970 a^7 b^2 c^2 d^7+330 a^8 b c d^8+11 a^9 d^9\right ) x^{13}+\frac {15}{14} b^3 d^2 \left (3 b^8 c^8+88 a b^7 c^7 d+770 a^2 b^6 c^6 d^2+2772 a^3 b^5 c^5 d^3+4620 a^4 b^4 c^4 d^4+3696 a^5 b^3 c^3 d^5+1386 a^6 b^2 c^2 d^6+220 a^7 b c d^7+11 a^8 d^8\right ) x^{14}+2 b^4 d^3 \left (4 b^7 c^7+77 a b^6 c^6 d+462 a^2 b^5 c^5 d^2+1155 a^3 b^4 c^4 d^3+1320 a^4 b^3 c^3 d^4+693 a^5 b^2 c^2 d^5+154 a^6 b c d^6+11 a^7 d^7\right ) x^{15}+\frac {3}{8} b^5 d^4 \left (35 b^6 c^6+462 a b^5 c^5 d+1925 a^2 b^4 c^4 d^2+3300 a^3 b^3 c^3 d^3+2475 a^4 b^2 c^2 d^4+770 a^5 b c d^5+77 a^6 d^6\right ) x^{16}+\frac {3}{17} b^6 d^5 \left (84 b^5 c^5+770 a b^4 c^4 d+2200 a^2 b^3 c^3 d^2+2475 a^3 b^2 c^2 d^3+1100 a^4 b c d^4+154 a^5 d^5\right ) x^{17}+\frac {5}{6} b^7 d^6 \left (14 b^4 c^4+88 a b^3 c^3 d+165 a^2 b^2 c^2 d^2+110 a^3 b c d^3+22 a^4 d^4\right ) x^{18}+\frac {5}{19} b^8 d^7 \left (24 b^3 c^3+99 a b^2 c^2 d+110 a^2 b c d^2+33 a^3 d^3\right ) x^{19}+\frac {1}{4} b^9 d^8 \left (9 b^2 c^2+22 a b c d+11 a^2 d^2\right ) x^{20}+\frac {1}{21} b^{10} d^9 (10 b c+11 a d) x^{21}+\frac {1}{22} b^{11} d^{10} x^{22} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(1740\) vs.
\(2(259)=518\).
time = 0.14, size = 1741, normalized size = 6.24
method | result | size |
norman | \(\text {Expression too large to display}\) | \(1721\) |
default | \(\text {Expression too large to display}\) | \(1741\) |
gosper | \(\text {Expression too large to display}\) | \(2011\) |
risch | \(\text {Expression too large to display}\) | \(2011\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 1740 vs.
\(2 (259) = 518\).
time = 0.29, size = 1740, normalized size = 6.24 \begin {gather*} \frac {1}{22} \, b^{11} d^{10} x^{22} + a^{11} c^{10} x + \frac {1}{21} \, {\left (10 \, b^{11} c d^{9} + 11 \, a b^{10} d^{10}\right )} x^{21} + \frac {1}{4} \, {\left (9 \, b^{11} c^{2} d^{8} + 22 \, a b^{10} c d^{9} + 11 \, a^{2} b^{9} d^{10}\right )} x^{20} + \frac {5}{19} \, {\left (24 \, b^{11} c^{3} d^{7} + 99 \, a b^{10} c^{2} d^{8} + 110 \, a^{2} b^{9} c d^{9} + 33 \, a^{3} b^{8} d^{10}\right )} x^{19} + \frac {5}{6} \, {\left (14 \, b^{11} c^{4} d^{6} + 88 \, a b^{10} c^{3} d^{7} + 165 \, a^{2} b^{9} c^{2} d^{8} + 110 \, a^{3} b^{8} c d^{9} + 22 \, a^{4} b^{7} d^{10}\right )} x^{18} + \frac {3}{17} \, {\left (84 \, b^{11} c^{5} d^{5} + 770 \, a b^{10} c^{4} d^{6} + 2200 \, a^{2} b^{9} c^{3} d^{7} + 2475 \, a^{3} b^{8} c^{2} d^{8} + 1100 \, a^{4} b^{7} c d^{9} + 154 \, a^{5} b^{6} d^{10}\right )} x^{17} + \frac {3}{8} \, {\left (35 \, b^{11} c^{6} d^{4} + 462 \, a b^{10} c^{5} d^{5} + 1925 \, a^{2} b^{9} c^{4} d^{6} + 3300 \, a^{3} b^{8} c^{3} d^{7} + 2475 \, a^{4} b^{7} c^{2} d^{8} + 770 \, a^{5} b^{6} c d^{9} + 77 \, a^{6} b^{5} d^{10}\right )} x^{16} + 2 \, {\left (4 \, b^{11} c^{7} d^{3} + 77 \, a b^{10} c^{6} d^{4} + 462 \, a^{2} b^{9} c^{5} d^{5} + 1155 \, a^{3} b^{8} c^{4} d^{6} + 1320 \, a^{4} b^{7} c^{3} d^{7} + 693 \, a^{5} b^{6} c^{2} d^{8} + 154 \, a^{6} b^{5} c d^{9} + 11 \, a^{7} b^{4} d^{10}\right )} x^{15} + \frac {15}{14} \, {\left (3 \, b^{11} c^{8} d^{2} + 88 \, a b^{10} c^{7} d^{3} + 770 \, a^{2} b^{9} c^{6} d^{4} + 2772 \, a^{3} b^{8} c^{5} d^{5} + 4620 \, a^{4} b^{7} c^{4} d^{6} + 3696 \, a^{5} b^{6} c^{3} d^{7} + 1386 \, a^{6} b^{5} c^{2} d^{8} + 220 \, a^{7} b^{4} c d^{9} + 11 \, a^{8} b^{3} d^{10}\right )} x^{14} + \frac {5}{13} \, {\left (2 \, b^{11} c^{9} d + 99 \, a b^{10} c^{8} d^{2} + 1320 \, a^{2} b^{9} c^{7} d^{3} + 6930 \, a^{3} b^{8} c^{6} d^{4} + 16632 \, a^{4} b^{7} c^{5} d^{5} + 19404 \, a^{5} b^{6} c^{4} d^{6} + 11088 \, a^{6} b^{5} c^{3} d^{7} + 2970 \, a^{7} b^{4} c^{2} d^{8} + 330 \, a^{8} b^{3} c d^{9} + 11 \, a^{9} b^{2} d^{10}\right )} x^{13} + \frac {1}{12} \, {\left (b^{11} c^{10} + 110 \, a b^{10} c^{9} d + 2475 \, a^{2} b^{9} c^{8} d^{2} + 19800 \, a^{3} b^{8} c^{7} d^{3} + 69300 \, a^{4} b^{7} c^{6} d^{4} + 116424 \, a^{5} b^{6} c^{5} d^{5} + 97020 \, a^{6} b^{5} c^{4} d^{6} + 39600 \, a^{7} b^{4} c^{3} d^{7} + 7425 \, a^{8} b^{3} c^{2} d^{8} + 550 \, a^{9} b^{2} c d^{9} + 11 \, a^{10} b d^{10}\right )} x^{12} + \frac {1}{11} \, {\left (11 \, a b^{10} c^{10} + 550 \, a^{2} b^{9} c^{9} d + 7425 \, a^{3} b^{8} c^{8} d^{2} + 39600 \, a^{4} b^{7} c^{7} d^{3} + 97020 \, a^{5} b^{6} c^{6} d^{4} + 116424 \, a^{6} b^{5} c^{5} d^{5} + 69300 \, a^{7} b^{4} c^{4} d^{6} + 19800 \, a^{8} b^{3} c^{3} d^{7} + 2475 \, a^{9} b^{2} c^{2} d^{8} + 110 \, a^{10} b c d^{9} + a^{11} d^{10}\right )} x^{11} + \frac {1}{2} \, {\left (11 \, a^{2} b^{9} c^{10} + 330 \, a^{3} b^{8} c^{9} d + 2970 \, a^{4} b^{7} c^{8} d^{2} + 11088 \, a^{5} b^{6} c^{7} d^{3} + 19404 \, a^{6} b^{5} c^{6} d^{4} + 16632 \, a^{7} b^{4} c^{5} d^{5} + 6930 \, a^{8} b^{3} c^{4} d^{6} + 1320 \, a^{9} b^{2} c^{3} d^{7} + 99 \, a^{10} b c^{2} d^{8} + 2 \, a^{11} c d^{9}\right )} x^{10} + \frac {5}{3} \, {\left (11 \, a^{3} b^{8} c^{10} + 220 \, a^{4} b^{7} c^{9} d + 1386 \, a^{5} b^{6} c^{8} d^{2} + 3696 \, a^{6} b^{5} c^{7} d^{3} + 4620 \, a^{7} b^{4} c^{6} d^{4} + 2772 \, a^{8} b^{3} c^{5} d^{5} + 770 \, a^{9} b^{2} c^{4} d^{6} + 88 \, a^{10} b c^{3} d^{7} + 3 \, a^{11} c^{2} d^{8}\right )} x^{9} + \frac {15}{4} \, {\left (11 \, a^{4} b^{7} c^{10} + 154 \, a^{5} b^{6} c^{9} d + 693 \, a^{6} b^{5} c^{8} d^{2} + 1320 \, a^{7} b^{4} c^{7} d^{3} + 1155 \, a^{8} b^{3} c^{6} d^{4} + 462 \, a^{9} b^{2} c^{5} d^{5} + 77 \, a^{10} b c^{4} d^{6} + 4 \, a^{11} c^{3} d^{7}\right )} x^{8} + \frac {6}{7} \, {\left (77 \, a^{5} b^{6} c^{10} + 770 \, a^{6} b^{5} c^{9} d + 2475 \, a^{7} b^{4} c^{8} d^{2} + 3300 \, a^{8} b^{3} c^{7} d^{3} + 1925 \, a^{9} b^{2} c^{6} d^{4} + 462 \, a^{10} b c^{5} d^{5} + 35 \, a^{11} c^{4} d^{6}\right )} x^{7} + \frac {1}{2} \, {\left (154 \, a^{6} b^{5} c^{10} + 1100 \, a^{7} b^{4} c^{9} d + 2475 \, a^{8} b^{3} c^{8} d^{2} + 2200 \, a^{9} b^{2} c^{7} d^{3} + 770 \, a^{10} b c^{6} d^{4} + 84 \, a^{11} c^{5} d^{5}\right )} x^{6} + 3 \, {\left (22 \, a^{7} b^{4} c^{10} + 110 \, a^{8} b^{3} c^{9} d + 165 \, a^{9} b^{2} c^{8} d^{2} + 88 \, a^{10} b c^{7} d^{3} + 14 \, a^{11} c^{6} d^{4}\right )} x^{5} + \frac {5}{4} \, {\left (33 \, a^{8} b^{3} c^{10} + 110 \, a^{9} b^{2} c^{9} d + 99 \, a^{10} b c^{8} d^{2} + 24 \, a^{11} c^{7} d^{3}\right )} x^{4} + \frac {5}{3} \, {\left (11 \, a^{9} b^{2} c^{10} + 22 \, a^{10} b c^{9} d + 9 \, a^{11} c^{8} d^{2}\right )} x^{3} + \frac {1}{2} \, {\left (11 \, a^{10} b c^{10} + 10 \, a^{11} c^{9} d\right )} x^{2} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 1740 vs.
\(2 (259) = 518\).
time = 0.52, size = 1740, normalized size = 6.24 \begin {gather*} \frac {1}{22} \, b^{11} d^{10} x^{22} + a^{11} c^{10} x + \frac {1}{21} \, {\left (10 \, b^{11} c d^{9} + 11 \, a b^{10} d^{10}\right )} x^{21} + \frac {1}{4} \, {\left (9 \, b^{11} c^{2} d^{8} + 22 \, a b^{10} c d^{9} + 11 \, a^{2} b^{9} d^{10}\right )} x^{20} + \frac {5}{19} \, {\left (24 \, b^{11} c^{3} d^{7} + 99 \, a b^{10} c^{2} d^{8} + 110 \, a^{2} b^{9} c d^{9} + 33 \, a^{3} b^{8} d^{10}\right )} x^{19} + \frac {5}{6} \, {\left (14 \, b^{11} c^{4} d^{6} + 88 \, a b^{10} c^{3} d^{7} + 165 \, a^{2} b^{9} c^{2} d^{8} + 110 \, a^{3} b^{8} c d^{9} + 22 \, a^{4} b^{7} d^{10}\right )} x^{18} + \frac {3}{17} \, {\left (84 \, b^{11} c^{5} d^{5} + 770 \, a b^{10} c^{4} d^{6} + 2200 \, a^{2} b^{9} c^{3} d^{7} + 2475 \, a^{3} b^{8} c^{2} d^{8} + 1100 \, a^{4} b^{7} c d^{9} + 154 \, a^{5} b^{6} d^{10}\right )} x^{17} + \frac {3}{8} \, {\left (35 \, b^{11} c^{6} d^{4} + 462 \, a b^{10} c^{5} d^{5} + 1925 \, a^{2} b^{9} c^{4} d^{6} + 3300 \, a^{3} b^{8} c^{3} d^{7} + 2475 \, a^{4} b^{7} c^{2} d^{8} + 770 \, a^{5} b^{6} c d^{9} + 77 \, a^{6} b^{5} d^{10}\right )} x^{16} + 2 \, {\left (4 \, b^{11} c^{7} d^{3} + 77 \, a b^{10} c^{6} d^{4} + 462 \, a^{2} b^{9} c^{5} d^{5} + 1155 \, a^{3} b^{8} c^{4} d^{6} + 1320 \, a^{4} b^{7} c^{3} d^{7} + 693 \, a^{5} b^{6} c^{2} d^{8} + 154 \, a^{6} b^{5} c d^{9} + 11 \, a^{7} b^{4} d^{10}\right )} x^{15} + \frac {15}{14} \, {\left (3 \, b^{11} c^{8} d^{2} + 88 \, a b^{10} c^{7} d^{3} + 770 \, a^{2} b^{9} c^{6} d^{4} + 2772 \, a^{3} b^{8} c^{5} d^{5} + 4620 \, a^{4} b^{7} c^{4} d^{6} + 3696 \, a^{5} b^{6} c^{3} d^{7} + 1386 \, a^{6} b^{5} c^{2} d^{8} + 220 \, a^{7} b^{4} c d^{9} + 11 \, a^{8} b^{3} d^{10}\right )} x^{14} + \frac {5}{13} \, {\left (2 \, b^{11} c^{9} d + 99 \, a b^{10} c^{8} d^{2} + 1320 \, a^{2} b^{9} c^{7} d^{3} + 6930 \, a^{3} b^{8} c^{6} d^{4} + 16632 \, a^{4} b^{7} c^{5} d^{5} + 19404 \, a^{5} b^{6} c^{4} d^{6} + 11088 \, a^{6} b^{5} c^{3} d^{7} + 2970 \, a^{7} b^{4} c^{2} d^{8} + 330 \, a^{8} b^{3} c d^{9} + 11 \, a^{9} b^{2} d^{10}\right )} x^{13} + \frac {1}{12} \, {\left (b^{11} c^{10} + 110 \, a b^{10} c^{9} d + 2475 \, a^{2} b^{9} c^{8} d^{2} + 19800 \, a^{3} b^{8} c^{7} d^{3} + 69300 \, a^{4} b^{7} c^{6} d^{4} + 116424 \, a^{5} b^{6} c^{5} d^{5} + 97020 \, a^{6} b^{5} c^{4} d^{6} + 39600 \, a^{7} b^{4} c^{3} d^{7} + 7425 \, a^{8} b^{3} c^{2} d^{8} + 550 \, a^{9} b^{2} c d^{9} + 11 \, a^{10} b d^{10}\right )} x^{12} + \frac {1}{11} \, {\left (11 \, a b^{10} c^{10} + 550 \, a^{2} b^{9} c^{9} d + 7425 \, a^{3} b^{8} c^{8} d^{2} + 39600 \, a^{4} b^{7} c^{7} d^{3} + 97020 \, a^{5} b^{6} c^{6} d^{4} + 116424 \, a^{6} b^{5} c^{5} d^{5} + 69300 \, a^{7} b^{4} c^{4} d^{6} + 19800 \, a^{8} b^{3} c^{3} d^{7} + 2475 \, a^{9} b^{2} c^{2} d^{8} + 110 \, a^{10} b c d^{9} + a^{11} d^{10}\right )} x^{11} + \frac {1}{2} \, {\left (11 \, a^{2} b^{9} c^{10} + 330 \, a^{3} b^{8} c^{9} d + 2970 \, a^{4} b^{7} c^{8} d^{2} + 11088 \, a^{5} b^{6} c^{7} d^{3} + 19404 \, a^{6} b^{5} c^{6} d^{4} + 16632 \, a^{7} b^{4} c^{5} d^{5} + 6930 \, a^{8} b^{3} c^{4} d^{6} + 1320 \, a^{9} b^{2} c^{3} d^{7} + 99 \, a^{10} b c^{2} d^{8} + 2 \, a^{11} c d^{9}\right )} x^{10} + \frac {5}{3} \, {\left (11 \, a^{3} b^{8} c^{10} + 220 \, a^{4} b^{7} c^{9} d + 1386 \, a^{5} b^{6} c^{8} d^{2} + 3696 \, a^{6} b^{5} c^{7} d^{3} + 4620 \, a^{7} b^{4} c^{6} d^{4} + 2772 \, a^{8} b^{3} c^{5} d^{5} + 770 \, a^{9} b^{2} c^{4} d^{6} + 88 \, a^{10} b c^{3} d^{7} + 3 \, a^{11} c^{2} d^{8}\right )} x^{9} + \frac {15}{4} \, {\left (11 \, a^{4} b^{7} c^{10} + 154 \, a^{5} b^{6} c^{9} d + 693 \, a^{6} b^{5} c^{8} d^{2} + 1320 \, a^{7} b^{4} c^{7} d^{3} + 1155 \, a^{8} b^{3} c^{6} d^{4} + 462 \, a^{9} b^{2} c^{5} d^{5} + 77 \, a^{10} b c^{4} d^{6} + 4 \, a^{11} c^{3} d^{7}\right )} x^{8} + \frac {6}{7} \, {\left (77 \, a^{5} b^{6} c^{10} + 770 \, a^{6} b^{5} c^{9} d + 2475 \, a^{7} b^{4} c^{8} d^{2} + 3300 \, a^{8} b^{3} c^{7} d^{3} + 1925 \, a^{9} b^{2} c^{6} d^{4} + 462 \, a^{10} b c^{5} d^{5} + 35 \, a^{11} c^{4} d^{6}\right )} x^{7} + \frac {1}{2} \, {\left (154 \, a^{6} b^{5} c^{10} + 1100 \, a^{7} b^{4} c^{9} d + 2475 \, a^{8} b^{3} c^{8} d^{2} + 2200 \, a^{9} b^{2} c^{7} d^{3} + 770 \, a^{10} b c^{6} d^{4} + 84 \, a^{11} c^{5} d^{5}\right )} x^{6} + 3 \, {\left (22 \, a^{7} b^{4} c^{10} + 110 \, a^{8} b^{3} c^{9} d + 165 \, a^{9} b^{2} c^{8} d^{2} + 88 \, a^{10} b c^{7} d^{3} + 14 \, a^{11} c^{6} d^{4}\right )} x^{5} + \frac {5}{4} \, {\left (33 \, a^{8} b^{3} c^{10} + 110 \, a^{9} b^{2} c^{9} d + 99 \, a^{10} b c^{8} d^{2} + 24 \, a^{11} c^{7} d^{3}\right )} x^{4} + \frac {5}{3} \, {\left (11 \, a^{9} b^{2} c^{10} + 22 \, a^{10} b c^{9} d + 9 \, a^{11} c^{8} d^{2}\right )} x^{3} + \frac {1}{2} \, {\left (11 \, a^{10} b c^{10} + 10 \, a^{11} c^{9} d\right )} x^{2} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 1965 vs.
\(2 (258) = 516\).
time = 0.13, size = 1965, normalized size = 7.04 \begin {gather*} a^{11} c^{10} x + \frac {b^{11} d^{10} x^{22}}{22} + x^{21} \cdot \left (\frac {11 a b^{10} d^{10}}{21} + \frac {10 b^{11} c d^{9}}{21}\right ) + x^{20} \cdot \left (\frac {11 a^{2} b^{9} d^{10}}{4} + \frac {11 a b^{10} c d^{9}}{2} + \frac {9 b^{11} c^{2} d^{8}}{4}\right ) + x^{19} \cdot \left (\frac {165 a^{3} b^{8} d^{10}}{19} + \frac {550 a^{2} b^{9} c d^{9}}{19} + \frac {495 a b^{10} c^{2} d^{8}}{19} + \frac {120 b^{11} c^{3} d^{7}}{19}\right ) + x^{18} \cdot \left (\frac {55 a^{4} b^{7} d^{10}}{3} + \frac {275 a^{3} b^{8} c d^{9}}{3} + \frac {275 a^{2} b^{9} c^{2} d^{8}}{2} + \frac {220 a b^{10} c^{3} d^{7}}{3} + \frac {35 b^{11} c^{4} d^{6}}{3}\right ) + x^{17} \cdot \left (\frac {462 a^{5} b^{6} d^{10}}{17} + \frac {3300 a^{4} b^{7} c d^{9}}{17} + \frac {7425 a^{3} b^{8} c^{2} d^{8}}{17} + \frac {6600 a^{2} b^{9} c^{3} d^{7}}{17} + \frac {2310 a b^{10} c^{4} d^{6}}{17} + \frac {252 b^{11} c^{5} d^{5}}{17}\right ) + x^{16} \cdot \left (\frac {231 a^{6} b^{5} d^{10}}{8} + \frac {1155 a^{5} b^{6} c d^{9}}{4} + \frac {7425 a^{4} b^{7} c^{2} d^{8}}{8} + \frac {2475 a^{3} b^{8} c^{3} d^{7}}{2} + \frac {5775 a^{2} b^{9} c^{4} d^{6}}{8} + \frac {693 a b^{10} c^{5} d^{5}}{4} + \frac {105 b^{11} c^{6} d^{4}}{8}\right ) + x^{15} \cdot \left (22 a^{7} b^{4} d^{10} + 308 a^{6} b^{5} c d^{9} + 1386 a^{5} b^{6} c^{2} d^{8} + 2640 a^{4} b^{7} c^{3} d^{7} + 2310 a^{3} b^{8} c^{4} d^{6} + 924 a^{2} b^{9} c^{5} d^{5} + 154 a b^{10} c^{6} d^{4} + 8 b^{11} c^{7} d^{3}\right ) + x^{14} \cdot \left (\frac {165 a^{8} b^{3} d^{10}}{14} + \frac {1650 a^{7} b^{4} c d^{9}}{7} + 1485 a^{6} b^{5} c^{2} d^{8} + 3960 a^{5} b^{6} c^{3} d^{7} + 4950 a^{4} b^{7} c^{4} d^{6} + 2970 a^{3} b^{8} c^{5} d^{5} + 825 a^{2} b^{9} c^{6} d^{4} + \frac {660 a b^{10} c^{7} d^{3}}{7} + \frac {45 b^{11} c^{8} d^{2}}{14}\right ) + x^{13} \cdot \left (\frac {55 a^{9} b^{2} d^{10}}{13} + \frac {1650 a^{8} b^{3} c d^{9}}{13} + \frac {14850 a^{7} b^{4} c^{2} d^{8}}{13} + \frac {55440 a^{6} b^{5} c^{3} d^{7}}{13} + \frac {97020 a^{5} b^{6} c^{4} d^{6}}{13} + \frac {83160 a^{4} b^{7} c^{5} d^{5}}{13} + \frac {34650 a^{3} b^{8} c^{6} d^{4}}{13} + \frac {6600 a^{2} b^{9} c^{7} d^{3}}{13} + \frac {495 a b^{10} c^{8} d^{2}}{13} + \frac {10 b^{11} c^{9} d}{13}\right ) + x^{12} \cdot \left (\frac {11 a^{10} b d^{10}}{12} + \frac {275 a^{9} b^{2} c d^{9}}{6} + \frac {2475 a^{8} b^{3} c^{2} d^{8}}{4} + 3300 a^{7} b^{4} c^{3} d^{7} + 8085 a^{6} b^{5} c^{4} d^{6} + 9702 a^{5} b^{6} c^{5} d^{5} + 5775 a^{4} b^{7} c^{6} d^{4} + 1650 a^{3} b^{8} c^{7} d^{3} + \frac {825 a^{2} b^{9} c^{8} d^{2}}{4} + \frac {55 a b^{10} c^{9} d}{6} + \frac {b^{11} c^{10}}{12}\right ) + x^{11} \left (\frac {a^{11} d^{10}}{11} + 10 a^{10} b c d^{9} + 225 a^{9} b^{2} c^{2} d^{8} + 1800 a^{8} b^{3} c^{3} d^{7} + 6300 a^{7} b^{4} c^{4} d^{6} + 10584 a^{6} b^{5} c^{5} d^{5} + 8820 a^{5} b^{6} c^{6} d^{4} + 3600 a^{4} b^{7} c^{7} d^{3} + 675 a^{3} b^{8} c^{8} d^{2} + 50 a^{2} b^{9} c^{9} d + a b^{10} c^{10}\right ) + x^{10} \left (a^{11} c d^{9} + \frac {99 a^{10} b c^{2} d^{8}}{2} + 660 a^{9} b^{2} c^{3} d^{7} + 3465 a^{8} b^{3} c^{4} d^{6} + 8316 a^{7} b^{4} c^{5} d^{5} + 9702 a^{6} b^{5} c^{6} d^{4} + 5544 a^{5} b^{6} c^{7} d^{3} + 1485 a^{4} b^{7} c^{8} d^{2} + 165 a^{3} b^{8} c^{9} d + \frac {11 a^{2} b^{9} c^{10}}{2}\right ) + x^{9} \cdot \left (5 a^{11} c^{2} d^{8} + \frac {440 a^{10} b c^{3} d^{7}}{3} + \frac {3850 a^{9} b^{2} c^{4} d^{6}}{3} + 4620 a^{8} b^{3} c^{5} d^{5} + 7700 a^{7} b^{4} c^{6} d^{4} + 6160 a^{6} b^{5} c^{7} d^{3} + 2310 a^{5} b^{6} c^{8} d^{2} + \frac {1100 a^{4} b^{7} c^{9} d}{3} + \frac {55 a^{3} b^{8} c^{10}}{3}\right ) + x^{8} \cdot \left (15 a^{11} c^{3} d^{7} + \frac {1155 a^{10} b c^{4} d^{6}}{4} + \frac {3465 a^{9} b^{2} c^{5} d^{5}}{2} + \frac {17325 a^{8} b^{3} c^{6} d^{4}}{4} + 4950 a^{7} b^{4} c^{7} d^{3} + \frac {10395 a^{6} b^{5} c^{8} d^{2}}{4} + \frac {1155 a^{5} b^{6} c^{9} d}{2} + \frac {165 a^{4} b^{7} c^{10}}{4}\right ) + x^{7} \cdot \left (30 a^{11} c^{4} d^{6} + 396 a^{10} b c^{5} d^{5} + 1650 a^{9} b^{2} c^{6} d^{4} + \frac {19800 a^{8} b^{3} c^{7} d^{3}}{7} + \frac {14850 a^{7} b^{4} c^{8} d^{2}}{7} + 660 a^{6} b^{5} c^{9} d + 66 a^{5} b^{6} c^{10}\right ) + x^{6} \cdot \left (42 a^{11} c^{5} d^{5} + 385 a^{10} b c^{6} d^{4} + 1100 a^{9} b^{2} c^{7} d^{3} + \frac {2475 a^{8} b^{3} c^{8} d^{2}}{2} + 550 a^{7} b^{4} c^{9} d + 77 a^{6} b^{5} c^{10}\right ) + x^{5} \cdot \left (42 a^{11} c^{6} d^{4} + 264 a^{10} b c^{7} d^{3} + 495 a^{9} b^{2} c^{8} d^{2} + 330 a^{8} b^{3} c^{9} d + 66 a^{7} b^{4} c^{10}\right ) + x^{4} \cdot \left (30 a^{11} c^{7} d^{3} + \frac {495 a^{10} b c^{8} d^{2}}{4} + \frac {275 a^{9} b^{2} c^{9} d}{2} + \frac {165 a^{8} b^{3} c^{10}}{4}\right ) + x^{3} \cdot \left (15 a^{11} c^{8} d^{2} + \frac {110 a^{10} b c^{9} d}{3} + \frac {55 a^{9} b^{2} c^{10}}{3}\right ) + x^{2} \cdot \left (5 a^{11} c^{9} d + \frac {11 a^{10} b c^{10}}{2}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 2010 vs.
\(2 (259) = 518\).
time = 1.33, size = 2010, normalized size = 7.20 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 1.03, size = 1702, normalized size = 6.10 \begin {gather*} x^7\,\left (30\,a^{11}\,c^4\,d^6+396\,a^{10}\,b\,c^5\,d^5+1650\,a^9\,b^2\,c^6\,d^4+\frac {19800\,a^8\,b^3\,c^7\,d^3}{7}+\frac {14850\,a^7\,b^4\,c^8\,d^2}{7}+660\,a^6\,b^5\,c^9\,d+66\,a^5\,b^6\,c^{10}\right )+x^{16}\,\left (\frac {231\,a^6\,b^5\,d^{10}}{8}+\frac {1155\,a^5\,b^6\,c\,d^9}{4}+\frac {7425\,a^4\,b^7\,c^2\,d^8}{8}+\frac {2475\,a^3\,b^8\,c^3\,d^7}{2}+\frac {5775\,a^2\,b^9\,c^4\,d^6}{8}+\frac {693\,a\,b^{10}\,c^5\,d^5}{4}+\frac {105\,b^{11}\,c^6\,d^4}{8}\right )+x^{11}\,\left (\frac {a^{11}\,d^{10}}{11}+10\,a^{10}\,b\,c\,d^9+225\,a^9\,b^2\,c^2\,d^8+1800\,a^8\,b^3\,c^3\,d^7+6300\,a^7\,b^4\,c^4\,d^6+10584\,a^6\,b^5\,c^5\,d^5+8820\,a^5\,b^6\,c^6\,d^4+3600\,a^4\,b^7\,c^7\,d^3+675\,a^3\,b^8\,c^8\,d^2+50\,a^2\,b^9\,c^9\,d+a\,b^{10}\,c^{10}\right )+x^{12}\,\left (\frac {11\,a^{10}\,b\,d^{10}}{12}+\frac {275\,a^9\,b^2\,c\,d^9}{6}+\frac {2475\,a^8\,b^3\,c^2\,d^8}{4}+3300\,a^7\,b^4\,c^3\,d^7+8085\,a^6\,b^5\,c^4\,d^6+9702\,a^5\,b^6\,c^5\,d^5+5775\,a^4\,b^7\,c^6\,d^4+1650\,a^3\,b^8\,c^7\,d^3+\frac {825\,a^2\,b^9\,c^8\,d^2}{4}+\frac {55\,a\,b^{10}\,c^9\,d}{6}+\frac {b^{11}\,c^{10}}{12}\right )+x^5\,\left (42\,a^{11}\,c^6\,d^4+264\,a^{10}\,b\,c^7\,d^3+495\,a^9\,b^2\,c^8\,d^2+330\,a^8\,b^3\,c^9\,d+66\,a^7\,b^4\,c^{10}\right )+x^{18}\,\left (\frac {55\,a^4\,b^7\,d^{10}}{3}+\frac {275\,a^3\,b^8\,c\,d^9}{3}+\frac {275\,a^2\,b^9\,c^2\,d^8}{2}+\frac {220\,a\,b^{10}\,c^3\,d^7}{3}+\frac {35\,b^{11}\,c^4\,d^6}{3}\right )+x^8\,\left (15\,a^{11}\,c^3\,d^7+\frac {1155\,a^{10}\,b\,c^4\,d^6}{4}+\frac {3465\,a^9\,b^2\,c^5\,d^5}{2}+\frac {17325\,a^8\,b^3\,c^6\,d^4}{4}+4950\,a^7\,b^4\,c^7\,d^3+\frac {10395\,a^6\,b^5\,c^8\,d^2}{4}+\frac {1155\,a^5\,b^6\,c^9\,d}{2}+\frac {165\,a^4\,b^7\,c^{10}}{4}\right )+x^{15}\,\left (22\,a^7\,b^4\,d^{10}+308\,a^6\,b^5\,c\,d^9+1386\,a^5\,b^6\,c^2\,d^8+2640\,a^4\,b^7\,c^3\,d^7+2310\,a^3\,b^8\,c^4\,d^6+924\,a^2\,b^9\,c^5\,d^5+154\,a\,b^{10}\,c^6\,d^4+8\,b^{11}\,c^7\,d^3\right )+x^6\,\left (42\,a^{11}\,c^5\,d^5+385\,a^{10}\,b\,c^6\,d^4+1100\,a^9\,b^2\,c^7\,d^3+\frac {2475\,a^8\,b^3\,c^8\,d^2}{2}+550\,a^7\,b^4\,c^9\,d+77\,a^6\,b^5\,c^{10}\right )+x^{17}\,\left (\frac {462\,a^5\,b^6\,d^{10}}{17}+\frac {3300\,a^4\,b^7\,c\,d^9}{17}+\frac {7425\,a^3\,b^8\,c^2\,d^8}{17}+\frac {6600\,a^2\,b^9\,c^3\,d^7}{17}+\frac {2310\,a\,b^{10}\,c^4\,d^6}{17}+\frac {252\,b^{11}\,c^5\,d^5}{17}\right )+x^9\,\left (5\,a^{11}\,c^2\,d^8+\frac {440\,a^{10}\,b\,c^3\,d^7}{3}+\frac {3850\,a^9\,b^2\,c^4\,d^6}{3}+4620\,a^8\,b^3\,c^5\,d^5+7700\,a^7\,b^4\,c^6\,d^4+6160\,a^6\,b^5\,c^7\,d^3+2310\,a^5\,b^6\,c^8\,d^2+\frac {1100\,a^4\,b^7\,c^9\,d}{3}+\frac {55\,a^3\,b^8\,c^{10}}{3}\right )+x^{14}\,\left (\frac {165\,a^8\,b^3\,d^{10}}{14}+\frac {1650\,a^7\,b^4\,c\,d^9}{7}+1485\,a^6\,b^5\,c^2\,d^8+3960\,a^5\,b^6\,c^3\,d^7+4950\,a^4\,b^7\,c^4\,d^6+2970\,a^3\,b^8\,c^5\,d^5+825\,a^2\,b^9\,c^6\,d^4+\frac {660\,a\,b^{10}\,c^7\,d^3}{7}+\frac {45\,b^{11}\,c^8\,d^2}{14}\right )+x^{10}\,\left (a^{11}\,c\,d^9+\frac {99\,a^{10}\,b\,c^2\,d^8}{2}+660\,a^9\,b^2\,c^3\,d^7+3465\,a^8\,b^3\,c^4\,d^6+8316\,a^7\,b^4\,c^5\,d^5+9702\,a^6\,b^5\,c^6\,d^4+5544\,a^5\,b^6\,c^7\,d^3+1485\,a^4\,b^7\,c^8\,d^2+165\,a^3\,b^8\,c^9\,d+\frac {11\,a^2\,b^9\,c^{10}}{2}\right )+x^{13}\,\left (\frac {55\,a^9\,b^2\,d^{10}}{13}+\frac {1650\,a^8\,b^3\,c\,d^9}{13}+\frac {14850\,a^7\,b^4\,c^2\,d^8}{13}+\frac {55440\,a^6\,b^5\,c^3\,d^7}{13}+\frac {97020\,a^5\,b^6\,c^4\,d^6}{13}+\frac {83160\,a^4\,b^7\,c^5\,d^5}{13}+\frac {34650\,a^3\,b^8\,c^6\,d^4}{13}+\frac {6600\,a^2\,b^9\,c^7\,d^3}{13}+\frac {495\,a\,b^{10}\,c^8\,d^2}{13}+\frac {10\,b^{11}\,c^9\,d}{13}\right )+a^{11}\,c^{10}\,x+\frac {b^{11}\,d^{10}\,x^{22}}{22}+\frac {5\,a^8\,c^7\,x^4\,\left (24\,a^3\,d^3+99\,a^2\,b\,c\,d^2+110\,a\,b^2\,c^2\,d+33\,b^3\,c^3\right )}{4}+\frac {5\,b^8\,d^7\,x^{19}\,\left (33\,a^3\,d^3+110\,a^2\,b\,c\,d^2+99\,a\,b^2\,c^2\,d+24\,b^3\,c^3\right )}{19}+\frac {a^{10}\,c^9\,x^2\,\left (10\,a\,d+11\,b\,c\right )}{2}+\frac {b^{10}\,d^9\,x^{21}\,\left (11\,a\,d+10\,b\,c\right )}{21}+\frac {5\,a^9\,c^8\,x^3\,\left (9\,a^2\,d^2+22\,a\,b\,c\,d+11\,b^2\,c^2\right )}{3}+\frac {b^9\,d^8\,x^{20}\,\left (11\,a^2\,d^2+22\,a\,b\,c\,d+9\,b^2\,c^2\right )}{4} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________